- ступенчатая логика
- ступене́ва ло́гіка, ступі́нчаста ло́гіка
Русско-украинский политехнический словарь. 2013.
ступенчатая логика
Смотреть что такое "ступенчатая логика" в других словарях:
КОНСТРУКТИВНАЯ ЛОГИКА — 1) то же, что и интуиционистская логика; 2) ветвь логики, в которой изучаются финитные (см. Финитизм) рассуждения о конструктивных объектах и процессах (см. Конструктивное направление) и строится соответств. семантика. В К. л. отвергается … Философская энциклопедия
конструктивная логика — КОНСТРУКТИВНАЯ ЛОГИКА (от лат. constructio построение) совокупность логических принципов, признаваемых приемлемыми представителями конструктивизма в математике. Предметом конструктивизма являются конструктивные объекты и конструктивные… … Энциклопедия эпистемологии и философии науки
Начало (фильм, 2010) — У этого термина существуют и другие значения, см. Начало. Начало Inception … Википедия
СЕМАНТИКА — в математической логике исследование интерпретаций логического исчисления, формальной аксиоматич. теории; изучение смысла и значения конструкций формализованного языка теории, способа понимания его логич. связок и формул. С. уделяет внимание… … Математическая энциклопедия
Онтология (информатика) — У этого термина существуют и другие значения, см. Онтология (значения). Онтология (в информатике) это попытка всеобъемлющей и детальной формализации некоторой области знаний с помощью концептуальной схемы. Обычно такая схема состоит из… … Википедия
Москвич-412 — Москвич 412 … Википедия
Москвич 412 — на викискладе … Википедия
